Deductive database languages

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Deductive Object-Oriented Database Languages: A Survey

The deductive object-oriented database (DOOD) model is an integration of the object-oriented data modeling paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems of the future. The database language of a DOOD system should speciically be based on a logic to facilitate use of deductive database technology and also to provide the theoretical foun...

متن کامل

Well-Founded Semantics for Deductive Object-Oriented Database Languages

We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternatingxpoint characterization of the well-founded model to them. In order to compute the state sequence, states are explicitly integrated by making them rst-class citizens of the underlying language. The concept is applied to Florid, an implementation of F-Logic, previously supporting...

متن کامل

Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages

This paper presents an approach to incorporating rule-based methods and encapsulation of such methods into DOOD languages. The main novel feature of this approach is the simple and intuitive logic-based semantics that cleanly accounts for all important object-oriented features such as object identity, complex objects, typing, methods, encapsulation, class hierarchy, multiple structural and beha...

متن کامل

Extending Deductive Database Languages by Embedded Implications 1

A bottom-up, set-oriented evaluation scheme for a deductive database query language with embedded implications is deened. An embedded implication deenes a local extension of the set of rules available for answering a goal. It can therefore be viewed either as a hypothetical query or as a reference to some external program. We deene an iterated xpoint semantics for stratiiable deductive database...

متن کامل

Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages

Deductive object oriented frameworks integrate logic rules and inheritance There speci c problems arise Due to the combination of deduction and inheritance a deduction can take place depending on inherited facts thus raising indirect con icts and b also the class hierarchy and membership is subject to deduction From this point of view we investigate the applica tion of the extension semantics o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Computing Surveys

سال: 1999

ISSN: 0360-0300,1557-7341

DOI: 10.1145/311531.311533